p b q == (p  (q)) ((p)  q) 

latex

Up	bool 1, bool 1
Wellformedness Lemmas	bxor wf, bxor wf
Definitions	p q, p  q, b
FDL editor aliases	bxor